Issue3147.agda:12,10-11
x != suc x of type Nat
when checking that all occurrences of pattern variable x have the
same value
